Execution Monitoring of High-Level Temporal Programs
نویسنده
چکیده
We propose a domain independent execution monitoring technique for a class of restartable logic-based temporal programs. The execution of a temporal program is interleaved with monitoring. Given a remaining part of a program, an execution trace, and the current time, if at this time no plan satisfying temporal constraints can be generated from the remaining program, the monitor backtracks (if possible) to a previous computation state of the restartable program where a new plan and an appropriate schedule can be constructed. We provide a declarative framework and its implementation on a mobile robot.
منابع مشابه
Java Pathexplorer -a Runtime Veriication Tool
We describe recent work on designing an environment , called Java PathExplorer, for monitoring the execution of Java programs. This environment facilitates the testing of execution traces against high level speciications, including temporal logic formu-lae. In addition, it contains algorithms for detecting classical error patterns in concurrent programs, such as deadlocks and data races. An ini...
متن کاملJava PathExplorer - A Runtime Veri cation Tool
We describe recent work on designing an environment, called Java PathExplorer, for monitoring the execution of Java programs. This environment facilitates the testing of execution traces against high level speci cations, including temporal logic formulae. In addition, it contains algorithms for detecting classical error patterns in concurrent programs, such as deadlocks and data races. An initi...
متن کاملImproving the Execution of Clinical Guidelines and Temporal Data Abstraction High-Frequency Domains
The execution of clinical guidelines and protocols (CGPs) is a challenging task in high-frequency domains such as Intensive Care Units. On the one hand, sophisticated temporal data abstraction is required to match the low-level information from monitoring devices and electronic patient records with the high-level concepts in the CGPs. On the other hand, the frequency of the data delivered by mo...
متن کاملTowards Fully Automatic Execution Monitoring
UFO is a new application framework in which programs written in FORMAN, a declarative assertion language, are compiled into execution monitors that run on a virtual machine with extensive monitoring capabilities provided by the Alamo monitor architecture. FORMAN provides an event trace model in which precedence and inclusion relations define a DAG structure that abstracts execution behavior. Co...
متن کاملAdvanced Temporal Data Abstraction for Guideline Execution
Temporal data abstraction bridges the gap between snap shot values delivered by monitoring devices and laboratory tests on one side and high-level medical concepts used in guidelines and by medical professionals on the other side. Within this field, the detection and abstraction of repeated patterns is a complex and important challenge. A repeated pattern is a combination of events or intervals...
متن کامل